Works by K. J. Barwise

( view other items matching `K. J. Barwise`, view all matches )
9 found
Order:
Disambiguations
K. Jon Barwise [9]K. J. Barwise [4]
  1.  34
    Absolute logics and L∞ω.K. Jon Barwise - 1972 - Annals of Mathematical Logic 4 (3):309-340.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  2.  43
    The next admissible set.K. J. Barwise, R. O. Gandy & Y. N. Moschovakis - 1971 - Journal of Symbolic Logic 36 (1):108-120.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  3.  56
    The Hanf number of second order logic.K. Jon Barwise - 1972 - Journal of Symbolic Logic 37 (3):588-594.
    We prove, among other things, that the number mentioned above cannot be shown to exist without using some $\Pi_1(\mathscr{P})$ instance of the axiom of replacement.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  17
    A preservation theorem for interpretations.K. Jon Barwise - 1973 - In A. R. D. Mathias & H. Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York: Springer Verlag. pp. 618--621.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  60
    Logic and linguistics meeting, Stanford, 1987.K. Jon Barwise & Richmond H. Thomason - 1988 - Journal of Symbolic Logic 53 (4):1275-1282.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  6.  79
    Meeting of the association for symbolic logic.Anil Nerode & K. J. Barwise - 1973 - Journal of Symbolic Logic 38 (2):348-358.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  7.  8
    Meeting of the Association for Symbolic Logic, New York 1969.Anil Nerode & K. J. Barwise - 1973 - Journal of Symbolic Logic 38 (2):348-358.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  9
    Review: S. Feferman, G. Kreisel, Persistent and Invariant Formulas Relative to Theories of Higher Order; Solomon Feferman, Persistent and Invariant Formulas for Outer Extensions. [REVIEW]K. Jon Barwise - 1972 - Journal of Symbolic Logic 37 (4):764-765.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  13
    Feferman S. and Kreisel G.. Persistent and invariant formulas relative to theories of higher order. Bulletin of the American Mathematical Society, vol. 72 , pp. 480–485.Feferman Solomon. Persistent and invariant formulas for outer extensions. Logic and foundations of mathematics, Dedicated to Prof. A. Heyting on his 70th birthday, Wolters-Noordhoff Publishing, Groningen 1968, pp. 29–52; also Compositio mathematica, vol. 20 , p. 29–52. [REVIEW]K. Jon Barwise - 1972 - Journal of Symbolic Logic 37 (4):764-765.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation